Wyniki
-
Paraconsistent combinatory logic
Martin W. Bunder
Bulletin of the Section of Logic , 8 /4 (1979) s. 177-181 -
A note on quantified significance logic
Martin W. Bunder
Bulletin of the Section of Logic , 9 /4 (1980) s. 159-162 -
Conjunction without conditions in illative combinatory logic
Martin W. Bunder
Bulletin of the Section of Logic , 13 /4 (1984) s. 207-213 -
The strong relevance logics
Martin W. Bunder
Bulletin of the Section of Logic , 23 /1 (1994) s. 12-17 -
Classical versions of BCI, BCK and BCIW logics
John K. Slaney, Martin W. Bunder
Bulletin of the Section of Logic , 23 /2 (1994) s. 61-65 -
A formal system without well-formed formulas
Martin Tabakov
Bulletin of the Section of Logic , 8 /1 (1979) s. 27-29 -
Godel's theorem in retrospect
Martin Tabakov
Bulletin of the Section of Logic , 13 /3 (1984) s. 132-136 -
On a Four-Valued Modal Logic with Deductive Implication
Marcelo E. Coniglio, Martin Figallo
Bulletin of the Section of Logic , 43 /1-2 (2014) s. 1-18